# SPDX-License-Identifier: GPL-2.0
obj-$(CONFIG_TIMER_OF)		+= timer-of.o
obj-$(CONFIG_TIMER_PROBE)	+= timer-probe.o

obj-$(CONFIG_ARM_ARCH_TIMER)		+= arm_arch_timer.o
